MAXIMALITY OF LOGIC WITHOUT IDENTITY

Lindström’s theorem obviously fails as a characterization of first-order logic without identity ( L − ωω ). In this note, we provide a fix: we show that L − ωω is a maximal abstract logic satisfying a weak form of the isomorphism property (suitable for identity-free languages and studied in [11]), the Löwenheim–Skolem property, and compactness. Furthermore, we show that compactness can be replaced by being recursively enumerable for validity under certain conditions. In the proofs, we use a form of strong upwards Löwenheim–Skolem theorem not available in the framework with identity

Congruences in regular categories

Se investiga la composición de congruencias en categorías regulares y se demuestra, entre otros resultados, que la condición de Lawvere (toda relación de equivalencia es una congruencia) es equivalente en tales categorías a cualquiera de las siguientes propiedades: (i) la compuesta de congruencias que conmutan es una congruencia, (ii) un morfismo regular con congruencia r envía toda congruencia que conmuta con r a una congruencia en la imagen, (iii) cualquier par de morfismos regulares con congruencias que conmutan y tienen intersección trivial posee un "pushout" que es simultáneamente un "pullback". Con  lo anterior es posible caracterizar las categorías regulares en las que la compuesta de congruencias es siempre una congruencia, generalizando así hechos bien conocidos del Algebra Universal

The algebra of adjacency patterns: Rees matrix semigroups with reversion

We establish a surprisingly close relationship between universal Horn classes of directed graphs and varieties generated by so-called adjacency semigroups which are Rees matrix semigroups over the trivial group with the unary operation of reversion. In particular, the lattice of subvarieties of the variety generated by adjacency semigroups that are regular unary semigroups is essentially the same as the lattice of universal Horn classes of reflexive directed graphs. A number of examples follow, including a limit variety of regular unary semigroups and finite unary semigroups with NP-hard variety membership problems.Comment: 30 pages, 9 figure

Non Abelian BF theories with sources and 2-D gravity

We study the interaction of non-Abelian topological $BF$ theories defined on two dimensional manifolds with point sources carrying non-Abelian charges. We identify the most general solution for the field equations on simply and multiply connected two-manifolds. Taking the particular choice of the so-called extended Poincar\'e group as the gauge group we discuss how recent discussions of two dimensional gravity models do fit in this formalism.Comment: 20 pages, Latex, To appear in Phys Rev D5

Towards a Proof Theory of G\"odel Modal Logics

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

A new measurement of antineutrino oscillation with the full detector configuration at Daya Bay

We report a new measurement of electron antineutrino disappearance using the fully-constructed Daya Bay Reactor Neutrino Experiment. The final two of eight antineutrino detectors were installed in the summer of 2012. Including the 404 days of data collected from October 2012 to November 2013 resulted in a total exposure of 6.9$\times$10$^5$ GW$_{\rm th}$-ton-days, a 3.6 times increase over our previous results. Improvements in energy calibration limited variations between detectors to 0.2%. Removal of six $^{241}$Am-$^{13}$C radioactive calibration sources reduced the background by a factor of two for the detectors in the experimental hall furthest from the reactors. Direct prediction of the antineutrino signal in the far detectors based on the measurements in the near detectors explicitly minimized the dependence of the measurement on models of reactor antineutrino emission. The uncertainties in our estimates of $\sin^{2}2\theta_{13}$ and $|\Delta m^2_{ee}|$ were halved as a result of these improvements. Analysis of the relative antineutrino rates and energy spectra between detectors gave $\sin^{2}2\theta_{13} = 0.084\pm0.005$ and $|\Delta m^{2}_{ee}|= (2.42\pm0.11) \times 10^{-3}$ eV$^2$ in the three-neutrino framework.Comment: Updated to match final published versio

New measurement of θ13\theta_{13} via neutron capture on hydrogen at Daya Bay

This article reports an improved independent measurement of neutrino mixing angle $\theta_{13}$ at the Daya Bay Reactor Neutrino Experiment. Electron antineutrinos were identified by inverse $\beta$-decays with the emitted neutron captured by hydrogen, yielding a data-set with principally distinct uncertainties from that with neutrons captured by gadolinium. With the final two of eight antineutrino detectors installed, this study used 621 days of data including the previously reported 217-day data set with six detectors. The dominant statistical uncertainty was reduced by 49%. Intensive studies of the cosmogenic muon-induced $^9$Li and fast neutron backgrounds and the neutron-capture energy selection efficiency, resulted in a reduction of the systematic uncertainty by 26%. The deficit in the detected number of antineutrinos at the far detectors relative to the expected number based on the near detectors yielded $\sin^22\theta_{13} = 0.071 \pm 0.011$ in the three-neutrino-oscillation framework. The combination of this result with the gadolinium-capture result is also reported.Comment: 26 pages, 23 figure